Mutual exclusion - PDFSEARCH.IO - Document Search Engine

Mutual exclusion
Results: 185

#	Item
1	Automatic Discovery of Mutual Exclusion Algorithms∗ (Preliminary Version) Yoah Bar-David Gadi Taubenfeld Add to Reading List Source URL: www.faculty.idc.ac.il Language: English - Date: 2006-05-18 11:34:39
2	Verifying a Simplification of Mutual Exclusion by Lycklama-Hadzilacos Wim H. Hesselink (whh442, February 24, 2013) Dept. of Computing Science, University of Groningen P.O.Box 407, 9700 AK Groningen, The Netherlands Add to Reading List Source URL: wimhesselink.nl Language: English - Date: 2013-03-22 21:29:16
3	Mutual exclusion algorithms with constant RMR complexity and wait-free exit code Rotem Dvir1 and Gadi Taubenfeld1 1 The Interdisciplinary Center Add to Reading List Source URL: www.faculty.idc.ac.il Language: English - Date: 2017-11-27 07:19:59
4	Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1 Add to Reading List Source URL: cliplab.org - Date: 2009-08-18 19:10:21
5	Administrivia  Design of Parallel and High-Performance Computing Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-11-23 13:58:39 Concurrency control Computing Computer programming Software engineering Lock Readerswriter lock Non-blocking algorithm Mutual exclusion Spinlock Monitor Fetch-and-add File locking
6	Analyzing Lock Contention in Multithreaded Applications Nathan R. Tallent John M. Mellor-Crummey Allan Porterfield Add to Reading List Source URL: www.hpctoolkit.org Language: English - Date: 2010-07-24 17:33:01 Concurrency control Computing Computer programming Software engineering Spinlock Lock Monitor Readerswriter lock Linearizability Synchronization Mutual exclusion Thread
7	Exercise 10: Exercising in style Task 1: Very exclusive! a) Give a solution to mutual exclusion using a fetch-and-add register. b) Give a solution to mutual exclusion using a compare-and-swap register. c) Give a solution Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2015-01-06 07:25:52 Edsger W. Dijkstra Concurrency control Mutual exclusion Binary trees
8	Design of Parallel and High-Performance Computing Fall 2013 Lecture: Languages and Locks Instructor: Torsten Hoefler & Markus Püschel Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-01-06 07:53:19 Computing Concurrency control Software engineering Computer programming Synchronization Linearizability Mutual exclusion Memory model Non-blocking algorithm Lock Thread Parallel computing
9	Design of Parallel and High-Performance Computing Fall 2013 Lecture: Linearizability Instructor: Torsten Hoefler & Markus Püschel Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-01-06 07:53:19 Concurrency control Computing Computer programming Software engineering Lock Linearizability Resource Acquisition Is Initialization Non-blocking algorithm Thread Mutual exclusion Consistency model Queue
10	Programmazione di sistemi multicore A.ALECTURE 12 IRENE FINOCCHI Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2015-11-09 05:52:39 Computing Concurrent computing Concurrency control Computer programming Parallel computing Edsger W. Dijkstra Thread Mutual exclusion Lock Synchronization Data parallelism Multi-core processor

UPDATE